The arc length of a curve.