fix: use u64 (instead of i64)

Failed in 8m 39s
Build and Test (Tier 1)nix develop --command just tier1
Waited 1s
·
Ran in 8m 39s
Total Job Run Time: 8m 38s