Fixed a tiny slip up from the merge for the new JsonNumber representation.