/mpi-patches/

• ../
• add-mp-hash
• add-mp-set-intptr
• add-mpi-toradix-with-case
• config-types
• export-mp-eq
• fix-bad-shifts
• fix-mult-bug
• fix-warnings
• mpi-set-double-intptr
• mpi-set-mpi-word
• series
• use-txr-allocator