Arduino library to implement float16ext data type. - View it on GitHub