Convert the signed 32-bit integer b to a double-precision (64-bit) floating-point element, store that in the lower element of result, and copy the upper element from a to the upper element of result.
See Implementation
Convert the signed 32-bit integer b to a double-precision (64-bit) floating-point element, store that in the lower element of result, and copy the upper element from a to the upper element of result.