{-# htermination recip :: Float -> Float #-}