Type Alias EncodingUnit 

type EncodingUnit<D> = Quot<Prod<D, U8>, Gcf<D, U8>>;