Edi wrote: > Here's a tiny patch to make sure that the MAX-HEAP-VALUE is always an > integer. Thanks for your patches. I'm fighting a deadline (on Tuesday) at the moment, so it may take a few days before I can look at them. Arthur