add read_timestamp for binary seeking