-新泽西州标准ML（64位）v110.99.3[建造时间：2022年9月22日星期四14:05:58]-val x=1E~16；val x=1E ~ 16：真实-Real.realMod x；[自动加载][库$SMLNJ-BASIS/BASIS.cm稳定][库$SMLNJ-BASIS/（BASIS.cm）:BASIS-common.cm稳定][自动加载完成]valit=0.0：真实-真正的分类；val-it=零：IEEEReal.float_class-#压裂（Real.split x）；valit=0.0：真实-真正的分类；val it=零：IEEEReal.float_class-val x=~1E~16；val x=~1E~16:实数-Real.realMod x；valit=0.0：真实-真正的分类；val it=零：IEEEReal.float_class-#压裂（Real.split x）；valit=0.0：真实-真正的分类；val-it=零：IEEEReal.float_class

val x=1E~16；Real.realMod x；（*不应为0.0*）真正的分类；（*不应为零*）#压裂（实际裂缝x）；（*不应为0.0*）真正的分类；（*不应为零*）