edge_of_infinity private
top