# 21 october 2017
gawk '
{
	gsub(/float..as\(/, "")
	gsub(/,/, "", $(NF - 1))
	gsub(/\)$/, "")
	split($0, parts, /:/)
	print $(NF - 1) "\t" $NF "\t" parts[1]
}
' "$@"