fix test for DivElem when result should be Inf