Fix formatting in JsonNumberSpecification.