请把 float 改成 double。
float
double
其他坑点：
“可能重复删除同一条不等式”
aaa 有可能为 000
注意 C++ 的向 000 舍入特性（运用 ceil 和 floor）
ceil
floor
... ......\ ...... ...
