It is now possible to compare a type that is tolerance based together with a type that is not necessarily tolerance based but still arithmetic. Doc update and tests.