missing fast_frexp correction