Implemented bonus for multiple players repairing #3748

See commit description
We'll need to be careful to maintain the same behavior here, too. I'm not sure why this is rounding up, so feel free to leave this as it was, and we can deal with all the remaining uses of Math.Sqrt in a later PR.