i64 < f32 ^ 0.5
