[takluyver]

> If the user enters "4", you get an int back.

No, it always returns a float in Python 3. 4/2 gives 2.0.