¿Existe una biblioteca Java en cualquier lugar que pueda realizar cálculos enIEEE 754 de media precisión números o convertirlos hacia y desde doble precisión?

Cualquiera de estos enfoques sería adecuado:

Mantenga los números en formato de media precisión y calcule usando aritmética de enteros y giro de bits (como MicroFloat hace para precisión simple y doble) Realice todos los cálculos en precisión simple o doble, convirtiendo a / desde la mitad de precisión para la transmisión (en cuyo caso lo que necesito son funciones de conversión bien probadas).

Edita: la conversión debe ser 100% precisa - thereso muchos NaNs, infinitos y subnormales en los archivos de entrada.

Pregunta relacionada pero para JavaScript: Descompresión de flotadores de media precisión en Javascript