i32 ^ 0.5 == i64
