Delete uint256.h