PpHd :
Non. Essaye #define HUGE_VAL (1.0/0.0).

C'est faux. Tu calcules UNSIGNED_INF là, pas POSITIVE_INF.

Sinon GCC dispose aussi de __builtin_HUGE_VAL__ je crois.

Mais pas TIGCC. Les builtins float ne sont pas implémentés pour notre format.