Create uint256.h