toRoundDirection

This direction as a RoundDirection — the refinement carrying the at-infinity guarantee.

Admits exactly the points at infinity: ax, ay, and aw carry over, and a round weight that rounds to zero at the SCALE quantum is stored as exact 0.0. An instance that already is a RoundDirection returns itself. A finite point is a position, not a direction, and is rejected.

Throws