[xsd-users] Writing doubles with decimal point

[Victor Fine]

Hello all,

I need to output double values with decimal point even when they are
integers. e.g.  "9.0" instead of "9". Do you have any ideas ?

Best regards,

Victor.