toJSON(i32) < string(i64)
