Type Definition typenum::P37

type P37 = PInt<U37>;