DuettoBackend: Support constant integer comparisons