Christian Maeder wrote: > I understand that gmp is needed for the certain libraries like the > Prelude with Double and Integer. Why is GMP needed for Double? Based on the online report Double is "double precision floating"; it does not need to represent arbitrary big numbers. I thought it is there only for Integers and Rationals. Peter.