{-# htermination keysFM_GE :: FiniteMap Float b -> Float -> [Float] #-}
import FiniteMap