Define a function double_down that consumes a positive integer n and produces an integer representing the number of times that n can be divided by 2 using integer division (//) until 1 is produced.

So, for instance, the integer 10 would produce 3, since it can be divided three times like so:

10
5
2
1