How to change the decimal separator with awk/sed?

Question

How to change number format (different decimal separator) from XXXXXX.XXX to XXXXXX,XXX using sed or awk?

Answer 1

Since the question is also tagged awk:

awk 'gsub(/\./,",")||1'