((/centaur/gl/g-ash.lisp::g-ash-of-numbers (nil nil nil (b*) nil nil nil) (nil nil nil nil (((mv irn ird iin iid) (general-number-components i)) if) nil nil) (nil nil ((mv crn crd cin cid) (mv iintp iintp-known) (mv cintp cintp-known) mk-g-number) (and g-apply) nil nil nil) ((cintp-known iintp-known) nil (general-number-components quote) (list) (if if ash-ss) nil nil) ((c ash i c) (1) nil (equal mv mv equal mv mv) (bfr-ite-bss-fn bfr-ite-bss-fn) nil nil) ((ird t nil nil crd t nil nil iintp irn nil cintp crn nil) nil (quote quote) (bfr-or bfr-or) nil nil nil) ((t t) nil nil (=-ss =-uu =-ss =-uu) nil nil nil)))