S”Machine_Emin 的模型号版本。
产生最小的 (最负的) 指数 值，使得在规范形式 (对于类型 T) 中表示的每个值，具有 T 的 尾数 位数，都是类型 T 的机器数 (见 3.5.7)。
此属性产生类型 universal_integer 的值。
S’Model_Emin return universal_integer
