trump_totalvotes += 0.75 * trump_newvotes
That looks pretty much what happened! Good to see you again.
LOL!