/** * Convert a number to a string. * * @param n number to convert * @param base base of the number * @param size zero-pad to this many digits */ export function pad(n: number, base: number, size: number): string { let s = n.toString(base); if (base === 16) { // I prefer upper case hex. s = s.toUpperCase(); } while (s.length < size) { s = "0" + s; } return s; }