Double the input number.