double-double arithmetic