python stdtypes