bitops.h: sextract64() return type should be int64_t, not uint64_t