See ldexp.html