correctly_grouped_prefix
tp = correctly_grouped_prefix (start_of_digits, cp, thousands, grouping);
tp = correctly_grouped_prefix (start_of_digits, cp, thousands, grouping);
end = correctly_grouped_prefix (s, end, thousands, grouping);