Update uint256.h