code: function(match, value, len, step) {
  				var num = '' + value;
  				if (doubled(match, step)) {
  					while (num.length < len) {
  						num = '0' + num;
  					}
  				}
  				return num;
  			}
docs: Format a number, with leading zeroes if necessary