Implement `decodeDouble_Int64#` primop