added math integration tests to cabal/travis