Replace C99 exp2f(32) call in __2Int_encodeDouble