>>965
その 2 つのコード、返す値が int と float で異なるけどいいの？
なにをしたいのかよくわかんない。

とりあえず cygwin port の ocaml インタプリタで以下のコードをそれぞれ 10000000 回走らせて大体の時間を計ってみました。

float_of_int(3) +. 3,4 -- 4.0 秒
3 + int_of_float(3.4) -- 3.4 秒
float_of_int (3 + int_of_float(3.4)) -- 4.7 秒 (参考)

つまり (結果的には) 後者の方が速いってことですね。
ただし C の場合で float より char, int を使ったほうが速くなるというのとは、
速くなる理由がやや違って、ocaml ではガベージコレクタが int を特別扱いしているためかなと思います。

蛇足。ocaml の float は C でいう double の精度を持ってますよ。