>>>>> "MM" == Martin Maechler <maechler@stat.math.ethz.ch>
>>>>>     on Wed, 4 Dec 2002 18:09:08 +0100 (MET) writes:
    MM> We will have to fix that in the C code, too.  Martin
well, probably, not.
I found that we are simply missing an  Ops.difftime()
{method implementation for `arithmetic' generics}.
Martin