Implement ProhibitLeadingZeros