Excluded Big Integer from Portable.
Merge pull request #207 from 7sharp9/fsharp_31

Excluded Big Integer from Portable.