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