Fix device writer to write out XML decimals properly

Change-Id: I483f1e3dd02a1ac61a06707bcf33ca1c9bb6f034
3 files changed