Force bounded integral types into their sane range

Add support for many more integral types in the process