Polars Pivot Treating Null Values as 0 for Accurate Sums