Mauricio Collares

> Just add that and be happy. I see this was used as justification for the actual fix. Just checking, does this take care of possible overlaps inside the array?...

Ok, I think I see. `max long long` is not 63, but rather 53 because the code internally stores the numbers as doubles and probably enforces it all fits exactly...

https://github.com/WebAudio/web-audio-api/issues/2033

https://github.com/WebAudio/web-audio-api/issues/2032

You can have both packages, but the command to see goals in `lean4-mode` is `lean4-toggle-info` (bound to `C-c TAB`). The command you cited is from the `lean-mode` package (i.e., Lean...