[][src]Type Definition typenum::N80

type N80 = NInt<U80>;