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

if you have bash/ksh etc

var=XXX.XXX
echo ${var/./,}