[Nickle] printing in scientific notation

[burgess at rpi.edu]

Is there any way in Nickle to print out a number in scientific notation? For
example, I have a real storing the value 2.5e11, and I would like to print that
out instead of 250000000000. C-style printf has an "e" format that would do
this. The same format appears to exist in Nickle, but prints the un-normalised
form. How can this be done the way I want?

Robert Burgess