Fix: bug in extend_tsf near 0x8000000 values

No match.