Use number FAPI element in number field settings form

The decimal field storage settings and decimal field formatter use a select dropdown list instead of the HTML5 number input type.. This prevents the use of mobile-optimized number entry methods (and browser-based min/max checks).