anchor.diff:  	     (<= object max)))))
   
   (setf (get 'integer 'compound-type) 'integer-type-p)
  +(setf (get 'rational 'compound-type) 'integer-type-p) ; ###
   
   (defun real-type-p (object type)
     (multiple-value-bind (min max)
  
positive.code: (setf (get 'real 'type-symbol) 'realp)
  (setf (get 'complex 'type-symbol) 'complexp)
  (setf (get 'integer 'type-symbol) 'integerp)
  (setf (get 'float 'type-symbol) 'floatp)
  (setf (get 'character 'type-symbol) 'characterp)
  (setf (get 'string 'type-symbol) 'stringp)
  
negative.code: (setf (get 'real 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'rational 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'integer 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'rational 'compound-type-optimizer) 'compile-rational-type)
  (setf (get 'float 'compound-type-optimizer) 'compile-rational-type)
  )
  
  