fiddled with EPSILON_DBL