((/centaur/gl/g-binary-+.lisp::g-binary-+-of-numbers (nil nil nil (b*) nil nil nil) (nil nil (((mv xrn xrd xin xid) (general-number-components x))) nil (if) nil nil) (nil nil ((mv yrn yrd yin yid)) (let* g-apply) nil (and) nil) (nil nil (general-number-components (rsum (+-ss nil xrn yrn)) quote) (equal equal equal equal list) (mk-g-number) nil nil) ((y xrd yrd xid yid binary-+ x y) (1) (quote quote quote quote isum) nil (if if) nil nil) ((t t t t rsum isum) nil (boolean-listp v2i boolean-listp v2i) nil (+-ss) nil nil) ((nil xin yin rsum rsum isum isum) nil nil nil nil nil nil)))