Quoting Michael Nissen <nissen@gjk.dk>: > What causes this problem? The type real is not an equality type. See: http://www.standardml.org/Basis/real.html#SIG:REAL.real:TY -Vesa Karvonen