I 'believe' in leap seconds in the senses that 1) they are present in UTC values and 2) their use is effective in reducing precession.
My belief [or not] in leap seconds is, however, moot here. Both STCKCONV and CONVTOD reflect leap seconds in their algorithms, appropriately albeit clumsily. John Gilmore, Ashland, MA 01721 - USA
