i32 >= i / i
