disallow non-zero integers starting with 0 (#10)