c++ headers and tests for numerics