Type Definition typenum::P697

type P697 = PInt<U697>;