Chai_to_Double-double

Following