to double; to redouble