如果檢測到定點或浮點數值溢位，則為真。
如果檢測到溢位和除零並透過為產生型別T結果的每個預定義操作引發 Constraint_Error 來報告，則產生值 True；否則產生值 False。
此屬性的值為預定義型別 Boolean。
S’Machine_Overflows return Boolean
