Danish CPR numbers in F#