Sorting numbers in string format with Python,"keys.sort(key=lambda x: map(int, x.split('.')))"