join float list into space-separated string in python,"print(' '.join(map(str, a)))"