Type Alias InnerOf 

pub type InnerOf<P> = <P as PerThing>::Inner;

Re-export top-level arithmetic stuff. Get the inner type of a PerThing.