Fix minor bug in float compare