underlying type

The type a defined type is built on. `Cents` has underlying type `int`, and `~int` matches every such type.