Restore std::dec after std::hex

Code is leaking a std::hex, and causes subsequent
sync_cout output to be in hexadecimal.

Spotted by Lucas

No functional change.
Back to MAX_PLY = 128

bench 6564212
Merge branch 'master' into maxply