Микроконтроллеры

Народ, напомните, пожалуйста о библиотеке с плавающей точкой для AVR, которая подменяла стандартную и ускоряла вычисления вроде как она называлась Math_mega.s90. Помню она когда-то пробегала сдесь, когда использовали компилятор ИАР АВР 2.28a. Вроде стандартная библиотека не использовала аппаратный умножитель, а эта использовала. Поэтому несколько вопросов : 1) Для новых ИАР-ских компиляторов (ver 4.12a, например)есть ли смысл ее использовать ? Или может ИАР уже свою доработали она не хуже. 2) Ее можно применять и при 32-разрядной и при 64-разрядной арифметике с плавающей точкой? А то вроде как при разрешении 64-разрядной double все промежуточные вычисления даже для float проводятся в double, а затем результат приводится к float. Поэтому эта библиотека может, например, быть предназначена только для случаев, когда разрешен 64-битный double - я точно не знаю, это просто мои фантазии :-) 3) Как ее подключать - есть ли какие-нибудь тонкости ? 4) Какая версия этой библиотеки (дата или размер файла) самая нормальная и испытанная (точно без глюков) ? Ну и где взять ? У меня что-то завалялось Math_mega.s90 размером 25 898 байтов, но я прежде чем экспериментировать, решил с умными людьми посоветоваться - есть ли версия поновее и может для новых компиляторов оно уже и не нужно вовсе. И еще вопросик - а в каком-нибудь симуляторе (в ИАР-ском встроенном или в AVR Studio есть ли счетчик тактов процессора, чтобы как-нибудь протестировать и оценить длительность вычислений). А то уже позабылось все ...