float: Remove use of decodeFloatInteger.
[altfloat.git] / Data / 
treee8964b78352eeed3b1846bac741645cd64070e5e
drwxr-xr-x   ..
-rw-r--r-- 1185 Floating.hs
drwxr-xr-x - Floating
-rw-r--r-- 1586 Poset.hs
drwxr-xr-x - Poset