{"foo": toJSON(i64)}?.i32
