undefined | Better HN

0 pointsjohngladtj1y ago0 comments

Leading zeros are not extraneous and should not be removed though

0 comments

3 comments · 2 top-level

ziml771y ago· 1 in thread

For numbers they are extraneous, for strings of digits they are not.

wruza1y ago

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

j / k navigate · click thread line to collapse