Fixed typecase in ENCODE-JSON-NUMBER.
darcs failed: Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize --upgrade`
See http://wiki.darcs.net/OF for more details.