title: How did python implement Type free variables from a statically typed language
body: <p>I know most of python is implemented in C. I was wondering that how does python work under the hood(in terms of its implementation in C) when it comes to determining what type of variable it is in this case lets say <code>x = 5</code> now if the check the type of x it will say class int but how is that implemented in C?
  What checks are made under the hood to determine that it belongs to Class int</p>