Revert "mpdec: default for now"

This reverts commit 220a714f53b8013868ff3b1d150fff1b0362317f.