Fix multiplication overflow in ReducedFraction class