Symbol: INTMAX_WIDTH