Encode floats and ratios as double floats.

Javascript has only one number type, double float.

Reported by axion on #lisp.