> (let (($numer t)) #$5/2$) => ((RAT SIMP) 5 2)
>
> Looking at *RED (in simp.lisp),
When I wrote this down I was being somehow oblivious of CHECK-RANGE
seeing an already MEVAL'ed argument. So what actually happens is
(modulo redundant calls to SIMPLIFYA) essentially like
(let ((a #$5/2$)
($numer t))
(meval* a))
=> ((RAT SIMP) 5 2)
and we should look at *RED1 instead of *RED. The rest of what I wrote
(including the patch) remains valid, I think.
Wolfgang