small conversion error
widen less when using the restart solver