Type Definition typenum::P514

type P514 = PInt<U514>;