Type Definition typenum::consts::P477

type P477 = PInt<U477>;