max(i32) >= i32
