Multiply a double-precision floating-point number by an integer power of two. - View it on GitHub