toDirection
This free vector as a Direction — the refinement carrying the at-infinity guarantee.
Admits exactly the points at infinity: px and py carry over, and a weight that rounds to zero at the SCALE quantum is stored as exact 0.0. An instance that already is a Direction returns itself. A finite point is a position, not a free vector, and is rejected.
Throws
when this point is finite — the weight does not round to zero.