If no definition is provided for `extern unfair` then the sum-product is `[0.0, 0.0]` but it seems there should be an error instead.
If no definition is provided for
extern unfairthen the sum-product is[0.0, 0.0]but it seems there should be an error instead.