Действительно, встроенные примитивы двойной плавучки. Деление - есть примитив начального приближения вычисления обратного, дающий 8 бит, и дальше рекомендуют использовать итеративный программный алгоритм, удваивающий точность за итерацию. Библиотеки поддержки для компилятора все равно нужны :)
Из замеченныых подводных камней - плавающие умножения двойной точности занимают 10 тактов, при этом блокируют умножитель на 4 такта. Мегагерц редко равен флопсу!