i64 >= 0.5 ** f32
