Hacker News Reader

Leading zeros are not extraneous and should not be removed though

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"?