mpdec: tweaked again