浮點引數的機器表示。
如果X是型別T的機器數，則該函式返回X；否則，它返回透過將X舍入或截斷為型別T的相鄰機器數之一而獲得的值。
如果將X舍入或截斷為機器數的精度會導致值超出S的基礎範圍，則會引發Constraint_Error。
當S'Signed_Zeros為True時，零結果具有X的符號。
S’Machine (X:T) return T
