doubleもfloatも80bitに拡張されるんじゃなかったっけ