It’s the SI and ISO standard decimal separator. It’s also the world’s most commonly used decimal separator. (Everywhere but the US uses space as the thousand separator.)