numberinput: configurable decimal separator (default: .) via decimal-separator attribute
numberinput: configurable decimal separator (default: .) via decimal-separator attribute

geersch/ui.cg,geersch/ui.cg