Type Definition typenum::P478

type P478 = PInt<U478>;