Fix: bug in extend_tsf near 0x8000000 values