{-# htermination properFraction :: Float -> (Int,Float) #-}