((/centaur/gl/g-floor.lisp::g-floor-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 floor-ss list) nil nil nil) ((y t t t t xrn yrn floor 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)))