Symbol: IEEEf2bits