Fix replay playing: make sure we output the correct value type in JSON.