nums.py

#!/usr/bin/env python
from sys import stdin, stdout

value = None
for line in stdin:
    if line.startswith("t="):
        value = int(line[2:]) / 1000.0
        break
if value:
    stdout.write("{0},\n".format(value))

# On linux (untested): "cat foo|python nums.py >>data.csv"
# On windows: "type foo.txt|python nums.py >>data.csv"