Better typedefs for ints and uints + tests