Comment by johngladtj

Leading zeros are not extraneous and should not be removed though