pub fn shown(v: &ChipValue) -> String
One shown value as the VM prints it — through the engine model’s own rendering, so the board and the laptop can never print a value two ways.