private void encodeDOUBLE(double value) throws IOException {
            if (Double.isFinite(value)) {
                out.write(String.valueOf(value));
            } else {
                out.write(NULL);
            }
        }
Returns the given UTF-8-encoded JSON as a Slime object
vespajlib/src/main/java/com/yahoo/slime/JsonFormat.java