anchor.diff:  ;;; only occur as the TEST-AST of an IF-AST.  If this AST occurs in a
   ;;; position where a value is required, an error is signaled.
   
  -(define-two-arg-float-ast single-float-equal-ast)
  +(define-float-comparison-ast single-float-equal-ast)
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: ;;; It can be used by an implementation that supports the DOUBLE-FLOAT
  ;;; data type.
  
  (define-two-arg-float-ast double-float-less-ast)
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  
negative.code: ;;; only occur as the TEST-AST of an IF-AST.  If this AST occurs in a
  ;;; position where a value is required, an error is signaled.
  
  (define-float-comparison-ast single-float-not-greater-ast)
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  