0.5 ^ i64 <= f32
