Useful extra bits for Python - things that should be in the standard library