digit group separator

1. REDIRECT Decimal separator#Digit grouping{{Rcat shell|

{{r to section}}

}}