New party shared experience bonus

This closes #889.
float should be good enough here, the experience rate won't be a large number or require high precision.