z3 float