Probably should be 0.05 each instead so that those that habitually bet 0.25 without checking will get a full 5 tickets instead of "2.5 tickets".  You are going to keep the extra 0.05 (?) or you will have to manually refund it to people who do that.