ли где-нибудь библиотека Java, которая может выполнять вычисления наIEEE 754 с половинной точностью числа или преобразовать их в и из двойной точности?

Любой из этих подходов подойдет:

Сохраняйте числа в формате с половинной точностью и вычисляйте их, используя целочисленную арифметику и сдвиг битов (какMicroFloat делает для одинарной и двойной точности)Выполняйте все вычисления с одинарной или двойной точностью, конвертируя в / из половинной точности для передачи (в этом случае мне нужны хорошо протестированные функции преобразования.)

редактировать: конверсия должна быть на 100% точной - тамнаходятся много NaN, бесконечностей и субнормалей во входных файлах.

Связанный вопрос, но для JavaScript:Распаковка половинной точности в Javascript