pub type UpperOf<P> = <P as PerThing>::Upper;
Re-export top-level arithmetic stuff. Get the upper type of a PerThing.
PerThing