Does python really support type casting?