template &lt;typename T&gt;<br>bool boost::pseudoprime(const T&amp; n, const T&amp; k)<br>{<br>&nbsp; typedef boost::operators&lt;T&gt; operatorT;<br>&nbsp; BOOST_STATIC_ASSERT(is_integral&lt;T&gt;::value); // static assert 1. <br>&nbsp; BOOST_STATIC_ASSERT((is_base_of&lt;operatorT, T&gt;::value)); // static assert 2.
<br>&nbsp; BOOST_ASSERT (n &gt; T(2) &amp;&amp; n % T(2) != 0);<br>&nbsp; return modular_expo(k, n-1, n) != T(1) % n ? true : false;<br>}<br><br>now in vistual studio 2005 sp1 and visual studio 2008 beta the part &quot;is_base_of&lt;operatorT, T&gt;::value&quot; does not work if T happens to be an int or long due to &quot;error C2803: &#39;operator --&#39; must have at least one formal parameter of class type&quot;. I want to use enable_if to enable the STATIC_ASSERT only if T is NOT an arithmetic type for static assert 2. 
<br><br>How would i go about doing that? <br>