This should solve specific use case of #114 Specifically:

1. Move all number-related reexports and functions in this module.
2. Add integerToBounded function:

integerToBounded :: forall a. (Integral a, Bounded a) => Integer -> Maybe a

3. Add integerToNatural function there:

integerToNatural :: Integer -> Maybe Natural

4. Reexport toIntegralSized:

   • https://hackage.haskell.org/package/base-4.12.0.0/docs/Data-Bits.html#v:toIntegralSized