ARM, RISC-V контроллеры

Конечно, их вставляет компилятор. Вот как вы разделите число а на число b? Вызывается соответствующая функция _ddiv (552 bytes, Stack size 32 bytes) которую вставляет компилятор. И так для каждой операции с плавающей точкой.