math/mpx.c: Fix two's-complement storing.
Oh, dear. This was a bit wrong.
* The internal representation, in terms of `mpw' vectors, is always
nonnegative. Remove the bogus sign-extension machinery for
`mpx_load*2cn'.
* The logic for sign-extending octet vectors in `mpx_store*2cn' was
the wrong way round. Fix it.
* Rather than sign-extending `mpw' vectors, it's necessary to apply a
correction when we reach the end of an octet vector in
`mpx_load*2cn'. Introduce a new argument to `MPX_LOADSTORE' to
carry the necessary correction logic, and use it.
* The test functions used a single `mpw' vector length for both
positive and negative values, which meant that the logic for sign-
extending octet strings on output wasn't exercised. Fix the test:
so that it now does two passes, forcing both sign-extension on
output and zero-extension on input.