>>>> (read . show) 1 :: Double > 1.0 actually that example works fine for me are you sure you copied it right. I.e. that you have b and b' both in both instances. silvio