[Bug 357941] arith.h defines INT_MAX when it shouldn't