floating: Split Floating into Floating and RealFloat.
tree518c97d316f8c8a24aca88009411e9663faa0ccd
-rw-r--r-- 14 .gitignore
drwxr-xr-x - Data
-rwxr-xr-x 77 Setup.lhs
-rw-r--r-- 459 altfloat.cabal
-rw-r--r-- 421 cfloat.c
-rw-r--r-- 118 cfloat.h