Extract double resetting to with_unfilfilled_double method