ensure that NUMERSOL is not divisible by DENOMSOL, fix #157105