Jenkins supports integer as the only number type for inputs. It would be great if a support for decimals can be added. That will help plugin developers to avoid writing boilerplate validation code in plugins.