/mpi-patches/

• ../
• add-bitops
• add-mp-hash
• add-mp-set-intptr
• add-mpi-toradix-with-case
• bit-search-optimizations
• config-types
• disable-make
• export-mp-eq
• faster-square-root
• fix-bad-shifts
• fix-ctype-warnings
• fix-mult-bug
• fix-warnings
• mpi-set-double-intptr
• mpi-set-mpi-word
• mpi-to-double
• series
• shrink-mpi-int
• use-txr-allocator