1 / i64 >= i32
