Isha Shenolikar

You are welcome. Another note, as I see, Seq() is valid now, you can omit the [ and ].

2^64 - 1 = 2 to the power 64 minus 1 = 18446744073709551615 is the largest number that can be represented with 64 unsigned bits, which is what TEAL used. See Integer (computer science) - Wikipedia also. If at any point, you make an operation that goes above this number, your program immediately fails.

75% = 3/4, so

if (3*cnt_vote_all < 4*cnt_vote_yes) {
    // give reward...
}