Option for correctly bounded numerics

[kjnilsson]

Currently all fixed size fsharp numerals map onto erlang integers and floats. We should provide either a compiler option or a custom compiler directive to insert the appropriate bit masks where arithmetic operations are performed.