На 32-битном sbcl я протестировал достаточно подробно, хотя и не исключаю, что чего-то упустил.

Но т.к. у меня нету доступа к 64-битной машине, то потестить на x86_64 не могу, хотя видимых причин не запускаться на x86_64 вроде бы нет (вероятно, кроме комплексных чисел).

Инструкции по установке, туториал и прочее - здесь.

Если у кого-то будет желание потестить на x86_64 или просто половить баги, буду очень рад, но вынужден исчезнуть на месяц, поэтому сразу исправить что-то при необходимости не смогу.

ЗЫ. может, стоит бложек завести, чтобы в форум не спамить? :)