Add the ApproxEq trait.

It is no longer part of std::num