0.5 ^ f32 <= i32
