Implemented bonus for multiple players repairing #3748

See commit description
Please also separate these ISqrt changes into their own commit (but still within this pr) - this is an important fix in its own right, and deserves its own commit.  Thanks for fixing this too!