Fixed an issue with primal rounding (this time for real ...).