C++11 type traits to check that a type has arithmetic operators