> I'd say not. Either of your other two solutions was fine. I'd vote > for dropping it entirely, since the type checker catches it. I went with the three-point-lattice solution; the cost is pretty minimal. I'm cleaning up the code to remove some of the extraneous timing info.