((/centaur/gl/g-mod.lisp::g-mod-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) mk-g-number) (g-apply) nil (and) nil) (nil nil (general-number-components quote) (eq eq eq eq mod-ss list) nil nil nil) ((y t t t t xrn yrn mod x y) nil nil (=-uu =-uu bfr-or bfr-or) nil nil nil) ((xrd yrd) nil (quote quote) (=-ss =-uu =-ss =-uu) nil nil nil) ((t t xin nil xid nil yin nil yid nil) nil nil nil nil nil nil)))