tip python extensio