CVC4/CVC4 — pull request #33 by mdeters (2014-06-17 21:32:12+00:00)
Title: Final preparations for arithmetic for building with libc++.

A few final places in arithmetic to separate from our dependence on libstdc++.. Tim, please review quickly and ok it.