On Thursday 21 August 2003 23:39, Tom Pledger wrote: > Try > > x :: Fractional a =3D> a > x =3D 0.5 > > instead. That way, the type signature is in the right place to > prevent defaulting. Right - thanks! Konrad.