S'Machine_Mantissa 的模型数版本。
产生 p 的最大值，使得在规范形式（对于类型 T）中可表达的每个值，具有 p 位尾数和在 T'Machine_Emin 和 T'Machine_Emax 之间的指数，都是类型 T 的机器数。此属性生成一个 universal_integer 类型的值。
S’Model_Mantissa return universal_integer
