>>>>> "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