Python3 Tutorial 12 Converting User Input to Int or Float Linux