This fixes #7829.  It was not encoding negative numbers correctly.
Changed the version to 0.12.3~alpha1