(defun f1 ()
  1.0s0)


;;; This doesn't work yet.

;(defun f2 ()
;  1.0)