Type Definition typenum::P624

type P624 = PInt<U624>;