> double a, b; > ... > if (a == within(1e-5) == b) { ... } i like that idea - should help alot how should that thing be called - type-dependent-operator-behavior? is that something like an extension operator?