Encode floats and ratios as double floats.

Javascript has only one number type, double float.

Reported by axion on #lisp.
Merge pull request #24 from stassats/master

Encode floats and ratios as double floats.