fix xinteger.h