Prescale after presolving

[vandenheuvel]

Scaling numbers to reduce the buildup of large fractional representations during solving.

The potential for recursively tightening variable bounds without removing any variables or constraints during presolving leads to very inefficient representations, making this even more urgent.