Modules
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.