Type Definition typenum::P477

type P477 = PInt<U477>;