Getting the Digits solutions

Getting the Digits was solved using F# by 2 contestants. Solution sizes: average 2911 bytes (shortest: 934; longest: 4885).