New: addingdoubles-plusone