Где константа `__FLT_MAX__` определена на Ubuntu?

Я изучаю программирование на C с помощью компилятора gcc под Ubuntu 14.04 (64 бит). Как практика, я пытаюсь найти определения ограничений размера для нескольких типов данных C.

Я легко нашел limits.h в /usr/include и нашел явные определения констант, таких как

#  define INT_MAX   2147483647

.

Я также выяснил, что float.h находится в /usr/lib/gcc/x86_64-linux-gnu/4.8/include. Однако я не нашел явного определения, скажем, FLT_MAX. Я получил

#define FLT_MAX     __FLT_MAX__

Но где определение __FLT_MAX__? Или где препроцессор C получает его значение?

Ссылка: Вот нить на форумах Ubuntu, которая также задала тот же вопрос (но не решена).