(i32 + 0.5) ^ i64
