anchor.diff:             (y* (if (floatp x)
                      (float y x)
                      y)))
  -       (%%float-< x* y*)))
  +       (sys.int::%%float-< x* y*)))
       (t (sys.int::full-< x y))))
   
   ;; Implement these in terms of <.
  
positive.code:                (y* (if (floatp x)
                         (float y x)
                         y)))
             (%%float-+ x* y*)))
          (t (sys.int::full-+ x y))))
  
  (sys.int::define-lap-function %%float-- ()
    ;; Unbox the floats.
    (sys.lap-x86:mov64 :rax :r8)
    (sys.lap-x86:shr64 :rax 32)
  
negative.code:                (y* (if (floatp x)
                         (float y x)
                         y)))
             (sys.int::%%float-- x* y*)))
          (t (sys.int::full-- x y))))
  
  (sys.int::define-lap-function sys.int::%%float-* ()
    ;; Unbox the floats.
    (sys.lap-x86:mov64 :rax :r8)
    (sys.lap-x86:shr64 :rax 32)
  