Regarding the standards for naming NIPs that are the same number when leading zeros are removed.