Re: Leading zeros with Int_IO.Put()? Or another package?

[David Shochat <shochat@itg-sepg.logicon.com>]

J.D. Baldwin wrote:
> 
[snip]
> My question:  is there a better way to pad out integers with leading
> zeros?  

Whenever I need leading zeros (in any radix), I use what we call here
the "Everage Maneuver" (named after fellow Logiconer Amy Everage, who
came up with this years ago). Lets say we want to put the nonnegative
integer n to a field of k characters with radix r using leading zeros if
necessary. So we assert n < r**k.
1. Convert n + r**k to a string. This uses k+1 characters, the 1st of
which is '1', representing r**k.
2. Use all but the 1st character from the result of (1).

If it makes anyone feel better, it looks like Java (API) doesn't know
how to do leading zeros either (but the Everage Maneuver works fine for
Java too). 
-- David