[−][src]Type Definition typenum::N772

type N772 = NInt<U772>;