Use classes-are-disjoint for float type disjointness. Added tests for bignum, fixnum type relationships.