better estimate on roundoff