Type Definition typenum::P505

type P505 = PInt<U505>;