https://www.rhosignal.com/posts/polars-sorted-data-2/