fix type for division result (close #89)
tree9ef5e8e7aac21fa25cea2501e59aa1979ce2d003
-rw-r--r-- 166 .gitignore
-rw-r--r-- 81 .merlin
-rw-r--r-- 322 .travis.yml
-rw-r--r-- 18092 LICENSE
-rw-r--r-- 1016 Makefile
-rw-r--r-- 1059 README.md
-rw-r--r-- 637 TODO
-rw-r--r-- 1912 _oasis
-rw-r--r-- 2001 _tags
-rw-r--r-- 362 appveyor.yml
-rwxr-xr-x 4053 cgi.f
-rw-r--r-- 2514 changelog
-rwxr-xr-x 363 configure
drwxr-xr-x - demo
drwxr-xr-x - example
drwxr-xr-x - impl
drwxr-xr-x - lib
-rw-r--r-- 1410 links
-rw-r--r-- 24471 myocamlbuild.ml
-rw-r--r-- 217 myocamlbuild_config.ml
-rw-r--r-- 1381 opam
-rwxr-xr-x 481 run_test
-rw-r--r-- 240422 setup.ml
drwxr-xr-x - sql
drwxr-xr-x - src
-rwxr-xr-x 36 startlocal
drwxr-xr-x - test
drwxr-xr-x - test_pqxx
-rwxr-xr-x 76 top