JxFmt writes floats as round-trip numbers