{-# htermination round :: RealFrac a => a -> Int #-}