Да, и она используется в С++/emscripten. AS исспользует несколько модифицированный вариант. Там например используется совершенно другой алгоритм редукции (__rem_pio2), потому что musl-овский довольно медленный и жирный. Собственно там используются классические Cody Waite и Payne-Hanek со внушительной таблицей поиска для модулярной арифметики. У нас более современный алгоритм