[Certora] fix timeout on ExactMath#473

QGarchery merged 1 commit intocertora/devmorpho-org/morpho-blue:certora/devfrom

certora/fix-timeout-exactmathmorpho-org/morpho-blue:certora/fix-timeout-exactmathCopy head branch name to clipboard