i64 * 0.5 >= f32
