＞何が言いたいんだろう？

＞「必ずdouble」の否定は
＞「常にfloat」じゃないから、その意味で622の書き方はおかしかったかも。

俺はまさにこれが言いたかった。つまり、

＞でもx/yの除算はfloatのまま行われる
かもしれないし、そうでないかもしれない。

それだけ。