Symbol: extractFloat128Frac1