ensure that NUMERATOR is not divisible by DENOMINATOR, fix #160476