> /sys/src/cmd/hoc/code.c:586: print("%.12g\n", d.val); Conceivably changing this could break somebody's rc script which depends on hoc leaving out the leading zero. But unlikely (one hopes) that someone with the taste to use Plan 9 would write anything so fragile...
I vote we converge with plan9port's behaviour on this.