{-# htermination (/) :: Float -> Float -> Float #-}