more on overflow case on aabb