Fix JSON printing to use javascript doubles (3.00 not 3d0) and to substitute #\_ for #\- in object properties