Definition:Midpoint of Interval