{-# htermination properFraction :: RealFrac a => a -> (Int,a) #-}