0.5 ** f32 < i32
