Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
undefined | Better HN
0 points
johngladtj
11mo ago
0 comments
Share
Leading zeros are not extraneous and should not be removed though
0 comments
default
newest
oldest
ziml77
11mo ago
For numbers they are extraneous, for strings of digits they are not.
wruza
11mo ago
They are never extraneous, cause no automatic calculation process produces them. If they are there, it's intentional.
otikik
11mo ago
Aren't they exactly the definition of "extraneous"?
j
/
k
navigate · click thread line to collapse