Support decimal commas in widgets and convert them automatically (see #3488)