{-# htermination (/) :: Fractional a => a -> a -> a #-}