digit grouping

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

{{r to section}}

}}