Type Definition typenum::P653

type P653 = PInt<U653>;