Function incircle_filter 

pub fn incircle_filter(a: Point2, b: Point2, c: Point2, d: Point2) -> Certified

The fast filter alone, exposed so escalation can be measured.

Returns Certified::Uncertain when a nonzero coordinate difference is outside [2^-128, 2^128), where a product may overflow or underflow.