Fixing of really-hard-to-track-down bug resulting from floating-point imprecision that caused not-quite-parallel lines to seem to intersect at an infinite point.
Updating dot with Bounds constraint