fix float->double in predicates