matrix inversion in double double arithmetic