DENOMSOL can be 1 here and that looks funny?