python string format() with dict with integer keys,'hello there %(5)s' % {'5': 'you'}