Formerly ieee754/ldexp.c.~3~