Re: [cmucl-ticket] [cmucl] #71: NOT-MORE-CONTAGIOUS broken for double-double-floats