Directed legnths

Directed lengths are line segments that have a distance and a direction. Note that this is different from directed angles, which are angles taken modulo .