((/centaur/gl/g-lessthan.lisp::g-<-of-numbers (nil nil nil (b*) nil nil nil) (nil nil (((mv arn ard ain aid) (general-number-components a))) nil (if) nil nil) (nil nil ((mv brn brd bin bid)) (and b* g-apply) nil nil nil) ((((mv r< r=) (<-=-ss arn brn))) nil (general-number-components mk-g-boolean quote) (equal equal list) nil nil nil) ((b ard brd aid bid < a b) nil nil nil (bfr-ite) nil nil) (nil nil nil (=-uu bfr-and bfr-or) nil nil nil) ((ard nil r<) nil (bfr-not) (<-ss) (bfr-and) nil nil)))