浮動小数点数からそのIEEE 754 single表現へ

今になってやっと,浮動小数点数IEEE 754 single形式での内部表現の32bit整数に変換するOcamlコードを書いた.Ocaml浮動小数点数をdoubleで扱ってることに依存したテキトーなコード.
doubleの内部表現に直すのはちょっと面倒そうなんで放置((黒魔術Obj.magic : 'a -> 'b (実体は%identity)とか使えばいいのかも知れんが.)).