
(/VERSIONCHECK 2) 

(DEFUN |INFINITY;infinity;Opc;1| ($) (SPADCALL (QREFELT $ 7))) 

(DEFUN |INFINITY;plusInfinity;Oc;2| ($) (SPADCALL (QREFELT $ 10))) 

(DEFUN |INFINITY;minusInfinity;Oc;3| ($) (SPADCALL (QREFELT $ 12))) 

(DEFUN |Infinity| ()
  (PROG ()
    (RETURN
      (PROG (#0=#:G1819)
        (RETURN
          (COND
            ((LETT #0# (HGET |$ConstructorCache| '|Infinity|)
                   . #1=(|Infinity|))
             (|CDRwithIncrement| (CDAR #0#)))
            ('T
             (UNWIND-PROTECT
               (PROG1 (CDDAR (HPUT |$ConstructorCache| '|Infinity|
                                   (LIST
                                    (CONS NIL (CONS 1 (|Infinity;|))))))
                 (LETT #0# T . #1#))
               (COND
                 ((NOT #0#) (HREM |$ConstructorCache| '|Infinity|))))))))))) 

(DEFUN |Infinity;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT |dv$| '(|Infinity|) . #0=(|Infinity|))
        (LETT $ (GETREFV 14) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|Infinity| NIL (CONS 1 $))
        (|stuffDomainSlots| $)
        $)))) 

(MAKEPROP '|Infinity| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|OnePointCompletion| (|Integer|))
             (0 . |infinity|) |INFINITY;infinity;Opc;1|
             (|OrderedCompletion| (|Integer|)) (4 . |plusInfinity|)
             |INFINITY;plusInfinity;Oc;2| (8 . |minusInfinity|)
             |INFINITY;minusInfinity;Oc;3|)
          '#(|plusInfinity| 12 |minusInfinity| 16 |infinity| 20) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 13
                                '(0 6 0 7 0 9 0 10 0 9 0 12 0 0 9 11 0
                                  0 9 13 0 0 6 8)))))
          '|lookupComplete|)) 

(MAKEPROP '|Infinity| 'NILADIC T) 
