Apr 29, 2018

Now if you were to cast a simple byte buffer into an integer that would be a different issue, but it is expected that the uint256_t cast to uint64_t produces the correct byte ordering, as otherwise the cast implementation is simply broken.