transitive float comparsion