Report question

Question: How to change the decimal separator with awk/sed?