We already refer to years in the first millennium AD without leading zeros, e.g. AD 42 or AD 385.
That's the kind of programming that makes you reluctant to put anything into it.
Not using leading zeros seems fine if you're using AD near it to indicate that it's not 1942.