In this case the incoming number is probably a varchar right?
you can use the to_decimal function to convert this to a decimal where you can set what the DecimalSperator is and what the ThousandsSeperator is.
Then simply have a CSV target and configure the format of this target field in the flatfile format. If this field was already incoming as a decimal you only have to set the format you want in the flatfile.