I've not noticed those integer type names before: are they better to use than `short` and `int`?  They look more specific...