Doubler

Double the input number.