(i64 / i32) ** f32
