toJSON(i64 == i32)
