(i64 / f64) ** f32
