添加了浮点数的比较器，可以以指定精度进行比较。