## Anyway to get rid of `math.floor` for positive odd integers with `sympy.simplify`?

Anyway to get rid of `math.floor` for positive odd integers with `sympy.simplify`? Question: I’m trying to simplify some expressions of positive odd integers with sympy. But sympy refuses to expand floor, making the simplification hard to proceed. To be specific, x is a positive odd integer (actually in my particular use case, the constraint is …