[][src]Type Definition typenum::N477

type N477 = NInt<U477>;