Add {float} <=> {integer} implementations

[old-mibmo]

Adds the following implementations:

• ApproxEq<{float} for {integer}
• ApproxEq<{integer}> for {float}

Also includes a major rewrite of tests to make them more general for a given type.