DOUBLEはDOUBLE PRECISIONの別名です。