Symbol: _IEEE_754