Revert "Revert "Require numerator and denominator in auto fraction"" This reverts commit 8fe506e153c530affd529e7175e813c3a878faed.