Symbol: IEEEd2bits