增强浮点模式验证程序