Unless we just use String.format to pad the numbers.