Type Definition typenum::P940

type P940 = PInt<U940>;