i32 == 0.5 ^ i64
