max(i64) != i32
