Maximum value of our int_fast32_t type.
This is the maximum value that an int_fast32_t can contain on the GCC4TI platform.