"energumen@buaa.edu.cn" <energumen@buaa.edu.cn> writes:
> timestamp is defined as int64 or float8, when it is defined as int64, it looks like timeval, first 32 bits for
seconds,second32 bits for usec.
No, it's seconds times 1000000, not times 2^32.
regards, tom lane