Incorrect printing of floating-point number

[rtoy]

trafficstars

I'm using ccl 1.12 LinuxX8664.

? (format t "~,v,,ve" 15 2 1d10)
10.00000000000000D+8

The printed result is off by a factor of 10; the exponent should be 9, not 8.

Presumably there's a round-off problem in figuring out the exponent to print.

This is a serious problem in printing that I found with maxima's engineering format that uses the scale factor parameter for ~e to print floating point number in the form x*10^n where n is a multiple of 3.