vadi2 opened this issue 2 years ago · 1 comments
It would be great if large numbers were comma-separated anywhere they appear (ie MPS).
+1, but in other words, localize and delimit numbers. Commas are not universal.
Thanks!