Convert packed double-precision (64-bit) floating-point elements in a to packed 32-bit integers. Follows the current rounding mode.