Workaround for OSes that don't have intmax_t and uintmax_t