Implemented bonus for multiple players repairing #3748

See commit description
This is actually a behavior change - this implementation of ISqrt will round 2.5 up to 3, whereas (int)Math.Sqrt will round it down to two.