{-# htermination isNaN :: Float -> Bool #-}