Don't be noob ? ;) Always remove leading zeroes ?
One case that comes to mind is ASCII art like code... where programmer may want to align numbers for clearity:
0014324 0234545 0000345 0534543 ^ That could be a problem but possibly solveable with spaces instead: 14324 234545 345 534543 ^ Looks less good though in non-fixed-sized font. Bye, Skybuck. -- https://mail.python.org/mailman/listinfo/python-list
