ecb_binary16_to_binary32
ecb_function_ ecb_const uint32_t ecb_binary16_to_binary32 (uint32_t x);
return ecb_binary32_to_float (ecb_binary16_to_binary32 (x));