Type Definition typenum::P901

type P901 = PInt<U901>;