Use interval arithmetic / Filters to speed up geometric predicates

[noinia]

i..e. implement some numeric type that maintains two doubles and uses those to resolve comparisons first.