where is str() defined/ imported etc?