validates binops with floats