Symbol: __ieee754_j1