[mcphage]

If you’re really committed to abbreviating it, go with 3 characters instead—“020”. Bam! Problem solved. If someone tries to stick digits on the end they’ll get an octal number unexpectedly!