Int/mastery and pure mastery gemming is very close. It really comes down to how often people are at full HP. If everyone is always topped off and you are doing little throughput heals then stacking mastery is going to be higher hps. Whereas the opposite is true for int/mastery.