Type Definition typenum::P387

type P387 = PInt<U387>;