Cosmetic.
Adapt float_of_extended_float to 32-bit archs.