Add number theory (taking a MathAdaptor) class with polynomial/modulo methods

Tests will follow (but no lost bitcoins yet).
Probably overdoing the wrapping here :-P