python convert string literal to float,"total = sum(map(float, s.split(',')))"