Fix bug in numeric string encoder when encoding "0"