;;; This doesn't work yet.

(defun f1 ()
  12345.6789)