如果检测到定点或浮点数值溢出，则为真。
如果检测到溢出和除零并通过为产生类型T结果的每个预定义操作引发 Constraint_Error 来报告，则产生值 True；否则产生值 False。
此属性的值为预定义类型 Boolean。
S’Machine_Overflows return Boolean
