Add __encodeDouble and __encodeFloat
[packages/integer-gmp.git] / cbits /
drwxr-xr-x   ..
-rw-r--r-- 2638 float.c