Better fraction simplification