[-ValuesAndExpressions::ProhibitLeadingZeros]