ocamlで1.2 +. 1.4の計算をすると2.6にならない

Question

ocamlのfloatの計算で、下記のケースが2.6にならないのはなぜでしょうか。
もしわかれば教えて欲しいです。

# 1.2 +. 1.4;;
- : float = 2.59999999999999964

いくつか他のパターンで計算を行って見たものの、他のケースでは想定通りになります。

# 1.1 +. 1.5;;
- : float = 2.6
# 1.3 +. 1.3;;
- : float = 2.6
# 1.2 +. 1.5;;
- : float = 2.7
# 1.1 +. 1.4;;
- : float = 2.5

バージョンは4.06.1です。

$ ocaml -version
The OCaml toplevel, version 4.06.1

Answer 1

Ocamlに限らず、これは浮動小数点数の限界です。

多くの場合、浮動小数点数はIEEE 754の2進法形式で格納されますが、これは小数点以下も2進法で表されますので、0.1すら正確に表現できません。