S'Machine_Mantissa 的模型數版本。
產生 p 的最大值，使得在規範形式（對於型別 T）中可表達的每個值，具有 p 位尾數和在 T'Machine_Emin 和 T'Machine_Emax 之間的指數，都是型別 T 的機器數。此屬性生成一個 universal_integer 型別的值。
S’Model_Mantissa return universal_integer
