f32 >= i64 ** 0.5
