Use functions from maths interface for tests, instead of GMP everywhere