Initial mpir support, incomplete until we find a nice static library