int number(const char *s) { intmax_t n = atomax10(s); if (n < 0 || n > INT_MAX) badnum(s); return n; }
static inline intmax_t getn(const char *s) { return atomax10(s); }