Proposal: Better power for Rational

[Simon Peyton-Jones]

|  I'm referring to tickets #2271 and #1434.
|  I implemented round, truncate, floor, ceiling with Int result in terms
|  of double2Int and friends and added RULES for decomposing, e.g.
|    round :: Double -> Int16
|   into
|    (fromIntegral :: Int -> Int16) . (round :: Double -> Int)
|   However my code is adapted to NumericPrelude's type classes and must be
|  adapted to those of Haskell98's Prelude. This should not be too hard.
|  I'll try to create a patch, however I may need some assistance compiling
|  base libraries.

Terrific.  Maybe work with Daniel Fischer?   He's doing closely related stuff as you know.

Thanks very much.  GHC's numerics need the love.

Simon