GPS情報をJSONで返すcgiをpython 2.4 + json.py 3.4で作っていると、なんか精度悪い。なんだろうと思って調べてみるとfloat型のjson.write()が小数点以下6桁しか出力していないためだと判明。 まだpythonのfloatはよく分かってないけど、精度は実装に依存す…