Math library for template metaprogramming in c++