Currently 'floor' doesn't work on Integers. I think this is undesirable. I submit that all the members of RealFrac: 'properFraction', 'truncate', 'round', 'ceiling' and 'floor' be moved up to Real. I can already construct them for Integral (the other subclass of Real): properFraction' :: (Integral a,Integral b) => a -> (b,a); properFraction' a = (fromIntegral a,0); (all the others are derived) -- Ashley Yakeley, Seattle WA