Код:
rval = (1 + ((w4 BITAND 15)*(Pow(2,28)) + w3*(Pow(2,12)) + w2/16)/Pow(2,32))* Pow(2, eval-1023);
Так, пожалуй, правильнее. До 8-го знака совпадение.