Closed ferenczy closed 3 years ago
This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.
I'm just adding this comment to prevent the closing of this issue because there was no reply in 30 days.
This issue is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 7 days.
This issue is stale because it has been open 60 days with no activity. Remove stale label or comment or this will be closed in 14 days.
This issue was closed because it has been stalled for 14 days with no activity.
Problem Statement Numbers bigger than ones of thousands are quite hard to read in the terminal, it would be good to format them using a thousand separator character.
Proposed Solution Delimit thousands in all numbers which are more or equal to one thousand using a separator character (usually space or a comma is used), i.e. numbers will be grouped by 3 digits.
Current formatting:
1234567.123
Proposed formatting:1 234 567.123
Alternatives Some numbers have a higher number of decimal places (I observed up to 8 digits), maybe we should consider similar formatting as the thousands separator.
Current formatting:
0.12345678
Proposed formatting:0.123 456 78