uint to uint256 in checkpoints.cpp