initialize r1t to 0 in fast_frexp to avoid gcc warning