Только на этот раз из-за того, что для возврата из функции число нужно преобразовать в битовое представление с «меткой» (в лиспах обычно объекты в памяти представлены либо помеченными указателями (несколько бит указателя отводится на метку), либо помеченным значением (аналогично, несколько бит отводится на метку типа)), а размер double-float как раз составляет 64 бита, и на x86-64 не хватает нескольких битов, чтобы вместить помеченное значение, что создает необходимость боксить.

Источник: 0004808 Лисп и оптимизация