fix libmpcdec fixed point math (#4715)