Switch a few performance tests to use mp_integer instead of double.