On 10/15/15 9:58 AM, Михаил Гаврилов wrote:
I understand an option to add an attribute to manually specify a delimiter is not considered here.
I think this is the thing that has the best chance of success: having explicit opt-in to various different formatting behaviors based on knowledge of what sort of "number" you're showing.
-Boris
