fix: use u64 (instead of i64)

Failed in 46m 24s
Build and Test (Tier 1)nix develop --command just tier1
Timed Out
Waited 2s
·
Ran in 15m 13s
Build and Test (Tier 1)nix develop --command just tier1
Timed Out
Waited 2s
·
Ran in 15m 55s
Build and Test (Tier 1)nix develop --command just tier1
Timed Out
Waited 3s
·
Ran in 15m 10s
Total Job Run Time: 46m 18s