decimal comma
noun1
Media, Publishing, Typography A comma used to set off the decimal or fractional part of a number, traditionally widely used in some countries but not others.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.