1#let pad_zeros(n, width) = { 2 let s = str(n) 3 if s.len() < width { 4 return "0" * (width - s.len()) + s 5 } 6 return s 7}