;;; This doesn't work yet.

(defun f1 ()
  1.0s0)

(defun f2 ()
  1.0)