template <class max_type>
class IsSlightlyBelowMatcherP
{ ... };