-
-
Notifications
You must be signed in to change notification settings - Fork 53
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Large numbers in pretty printing #152
Comments
I think it would be better to use underscore so we can copy-paste it back in numbat if possible 🥺 |
For the web version, I believe that there might be a way to show a space, but to leave the actual content as "123456789". Maybe we could even make this work for the CLI version if we use a special space character, like a non-breaking space (U+00A0). |
Then it would be nice to accept the non-breaking-space as a valid character in the cli because they will get copy-pasted. |
Yes, exactly. We could treat the non-breaking space similar to how we treat the underscore.. I assume
True, yes |
- Thousands separator for large inters - Always use '+' in scientific notation (1e+3) closes #152
- Thousands separator for large inters - Always use '+' in scientific notation (1e+3) closes #152
Decided to go with an underscore for now, as this non-breaking space caused some problems when copy pasting. |
This is not helpful:
The text was updated successfully, but these errors were encountered: