f32 / i64 ^ 1
