i32 ^ (f64 + 0.5)
