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