Arbitrary precision integer arithmetic: ceiling?

[Alasdair]

Thanks, all - you've been most helpful.  By the way, what does // do?  I
haven't yet run down its definition in the manual.

-A.