Allow floating point numbers in "number" input fields (see #7257)