Fix calculation of eninf (and regenerated the testsuite)

eninf is defined as -u_t-1, but it was just set to u_t... ops!