Re: [cmucl-ticket] [cmucl] #15: x86 double-float issue