testing str->gmpint conversion