+ type casting for python3.2