Emit warnings on numbers with leading zeros, fixes #15