[ppcg] Add a cast to avoid a warning
[ppcg] Add a cast to avoid a warning


Former-commit-id: 7a5c3fbaf3e6973a08d369827cca4a9297792b9a
pencil-language/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,rbaghdadi/pencil-benchmark