G'day all. Quoting Dan Weston <westondan at imageworks.com>: > 6.3.2 (The Ord Class): > > "The Ord class is used for totally ordered datatypes." So... Double shouldn't be there, then? As previously noted, nowhere is it even required that x /= y should "do the same thing" as not (x == y). Cheers, Andrew Bromage