Update APPROX state only when necessary
fold
Fix APPROX test case for new argument list
Approx: slightly shorter step than theoretically OK