Ensure that floating points are rendered with a dot, not with a comma (like it's done in German typography)