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