@peterrowlett @BraneRunner @aperiodical @FlintyMcQwerty They'll have verified the base 16 digits, probably, and then converted to base 10