since boogie has reals, we can just divide by 2 when we need