Reduce arithmetic splits in winbat.