bitops.h: add sign_extend64()