Fixed a bug related to comparsion of two floating points.