[feature request] Use input type "number" on numbers

Whenever you double click a numeric value to show the popup dialog to manually set it, the input type is `text`, which means you don't get the native up/down arrows and scroll wheel does nothing.

Switching those inputs to `type="number"` and adding `step="0.05"` would show the arrows, and allow keyboard up/down arrows and mouse wheel to change the value in 0.05 increments/decrements. Also, min and max attributes can limit the values whenever needed. Having to manually type values while you could use the mouse wheel to change them is rather cumbersome.

➡ [Input type number on MDN](https://developer.mozilla.org/en-US/docs/Web/HTML/Element/input/number)