Rename uint256.h to uint256.hpp