{-# htermination fromEnum :: Float -> Int #-}