i32 > 0.5 / i64
