redPrim env p a [ELit (LRat _ x), ELit (LRat _ y)]
  | p /= FloatDiv || y /= 0                 = redRat p x y
redPrim env p a [ELit (LRat _ x), ELit (LRat _ y)]
  | p /= FloatDiv || y /= 0                 = redRat p x y
redPrim env p a [ELit (LRat _ x), ELit (LRat _ y)]
  | p /= FloatDiv || y /= 0                 = redRat p x y