timesInt2# primop (fix #9431)
The first patch adds a primop timesInt2#
similar to timesWord2#
. It computes a double-word size result and a boolean indicating if the high word is needed or not (i.e. sign-extension of the low word).
The second patch uses this primop in integer-gmp, fixing #9431 (closed).