>>849
> これはどう解釈すれば、「型はどうやっても変更できない」と取れるのだ？

式の型 (static type) は変わるが、オブジェクトの型 (dynamic type) は変わらない。

> 君が言うようにメモリ上の型が普遍なら、どうやっても i には fmov が出ては駄目だろ。

未定義動作ならなんでもアリだと言った。