add instances for standard num types

This adds instances for all remaining standard Num types. The bound for Integral types exceed Int in some cases. There it is treated as unbounded.