How do I do something like:
(declare (type (double-float LEAST-POSITIVE-NORMALIZED-DOUBLE-FLOAT
(- 1d0 double-float-epsilon))
x1))
I can't do it with declare because it's a special form, and according
to CLTL2, proclaim has different semantics. Am I really forced to
expand the two numbers before passing them to declare?Thanks, -- Harvey Stein Bloomberg LP [EMAIL PROTECTED]
