Type Alias Sub1

pub type Sub1<A> = <A as Sub<B1>>::Output;

Alias to make it easy to subtract 1: Sub1<A> = <A as Sub<B1>>::Output