use double-float by default
tree5a35a30815f06bc1339719c132569f737d0af310
-rw-r--r-- 1060 COPYING
-rw-r--r-- 626 HACKING
-rw-r--r-- 845 INSTALL
-rw-r--r-- 908 README
drwxr-xr-x - doc
drwxr-xr-x - http_root
-rw-r--r-- 570 run.lisp
drwxr-xr-x - src