Now that we don't care about octal, we can unambiguously support zero-padded
numbers. Note that we try to avoid adding padding to decimal numbers that don't
already have it, to avoid accidentally creating octal numbers.