f32 <= 0.5 ** i32
