recs: disallow numbers starting with zero