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