Type Definition typenum::P619

type P619 = PInt<U619>;