Fix strong_float/0.