Написано: IEEE-compliant floating point, multi-byte support. Конкретно про 64 - ничего. Ставить на рабочую машину бету не хочу - у ИАРовских штучек потом вечно какая-нибудь проблема с лицензиями возникает.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)