Существует ли библиотека OCaml, чтобы использовать 80-битный расширенный тип с плавающей запятой с плавающей точкой на архитектурах IA-32 и x86-64?
Я знаю о привязках MPFR, но моя идеальная библиотека будет более легкой. Использование исторических инструкций с плавающей запятой было бы идеальным.