Strange that Federer has a bigger right arm. Other players with one handed backhands, ie Haas, Wawrinka, Gasquet, seem to have identical sized arms.
It's not that strange really. He gets a lot of heavy training on his right arm only. It is quite possible to compensate in the gym, if you want to look more balanced, but obviously not obligatory.