Copy the 64-bit integer a to the lower element of dest, and zero the upper element.
See Implementation
Copy the 64-bit integer a to the lower element of dest, and zero the upper element.