This file implements functions for various S2 measurements.
This file contains various predicates that are guaranteed to produce correct, consistent results. They are also relatively efficient. This is achieved by computing conservative error bounds and falling back to high precision or even exact arithmetic when the result is uncertain. Such predicates are useful in implementing robust algorithms.