json.writer: handle special floats.