Add support files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add basic .gitignore file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add LICENSE file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Make reference counting thread safe

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add README file

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add GMP initialization

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add wrapper from GMP mpz numbers

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add wrapper for GMP mpq numbers

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add missing operators

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Fix cygwin problems

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Reorganize methods. Remove num_macros.h. Add binary rationals mpbq.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add simple build system based on cmake

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add build instructions. Improve build.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Update .gitignore

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add gtags files to .gitignore

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Set clang++ as default compiler. Add -pthread as a linker flag

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add missing operators to mpz, mpq, mpbq. Add pp functions for debugging

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add thread_local test

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add methods to mpz, mpq, mpbq

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Move mpz, mpq and mpbq to numerics directory

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>