Symbol: __ieee754_log2f