Comment by remcob

Another fast way to double a number is to add it to itself.