Hacker News new | ask | show | jobs
by johngladtj 444 days ago
Leading zeros are not extraneous and should not be removed though
2 comments

For numbers they are extraneous, for strings of digits they are not.
They are never extraneous, cause no automatic calculation process produces them. If they are there, it's intentional.
Aren't they exactly the definition of "extraneous"?