R32-IEEEStandard754