First time here? Check out the FAQ!
answered 2015-02-04 18:57:06 +0100
This is not a problem, it's because we use something called MPIR instead of GMP with equivalent functionality. Eventually hopefully we'll be able to remove that message.