dot/lisp-init.lisp: Use `double-float' by default.