Tidy Numbers solutions

Tidy Numbers was solved using Standard ML by 2 contestants. Solution sizes: average 1842 bytes (shortest: 1761; longest: 1923).