Existe uma biblioteca Java em qualquer lugar que possa executar cálculos emeia precisão @IEEE 754 números ou converta-os para e de precisão dupla?

Qualquer uma dessas abordagens seria adequada:

Mantenha os números no formato de meia precisão e calcule usando aritmética inteira e giro de bits (como MicroFloat para precisão simples e dupla) Execute todos os cálculos com precisão simples ou dupla, convertendo para / de meia precisão para transmissão (nesse caso, o que eu preciso são de funções de conversão testadas

Edita: a conversão precisa ser 100% precissãotes de NaNs, infinitos e subnormais nos arquivos de entrad

Pergunta relacionada, mas para JavaScript: Descompactando flutuadores de meia precisão em Javascript