Update binary.h