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