float support for number widget

Any reason for number widget to not support decimal points? If so, feel free to close this PR (and rename to Integer widget? :P). Otherwise, I think this enables functionality for floats without affecting anything for ints.