to double (in number or amount)