• fix bug in approx_interval spotted by Ravi Varadhan