On Thu, 3 Apr 2008, jerzy.karczmarczuk at info.unicaen.fr wrote: > Fractional, Floating, etc. are also horrible. Why the square root needs to > be floating? It can belong to the algebraic number domain. At least in NumericPrelude we have separated these issues.