More updates to package Double_List.