S”Machine_Emin 的模型號版本。
產生最小的 (最負的) 指數 值，使得在規範形式 (對於型別 T) 中表示的每個值，具有 T 的 尾數 位數，都是型別 T 的機器數 (見 3.5.7)。
此屬性產生型別 universal_integer 的值。
S’Model_Emin return universal_integer
