doubleのほうがfloatより常に情報量(≒精度)が多いことは
法律で決まってる?