> With CVS tip (and float-type timestamps) I get...> Seems to be the same result no matter what timestamp is put in.
Yup. Broken for double timestamps. Will patch...
- Thomas