#include <limits>

template <typename A = std::enable_if<std::is_integral<AA>::value, AA>::type, typename B = std::enable_if<std::is_integral<BB>::value, BB>::type> struct Compare<A, B>
{
  inline static int between(const A &a,const B &b)
  {
    if (a<b) return -1;
    if (b<a) return  1;
    return 0;
  } // between
  inline static bool equal(const A &a,const B &b)
  {
    if (std::numeric_limits<A>::is_exact && std::numeric_limits<B>::is_exact) return (!(a<b)) && (!(b<a));
    if (std::numeric_limits<A>::epsilon() > std::numeric_limits<B>::epsilon()) {
      return std::numeric_limits<A>::epsilon() > (a > b ? (a - b) : (b - a));
    } else {
      return std::numeric_limits<B>::epsilon() > (a > b ? (a - b) : (b - a));
    }
  } // equal
/* etc