f32 <= max(f32)
