Module Vdom_input_widgets.DecimalSource

Decimal can be used to create decimal number inputs

Note that of_string/to_string raise if t is NaN, +Inf, or -Inf, since these are not valid decimals and cannot be used in number inputs.