type t = {x:float; y:float; z:float} val dist2: t -> t -> float val fudge : t -> t