C++ implementation: JKSNValue::at