tests/elab/intModBug.lean

#reduce (10 : Int) % 0
#reduce (-10 : Int) % 0
#eval (10:Int) % 0
#eval (-10 : Int) % 0

#reduce (10000000000000000000000000000000000 : Int) % 0
#reduce (-10000000000000000000000000000000000 : Int) % 0
#eval (10000000000000000000000000000000000:Int) % 0
#eval (-10000000000000000000000000000000000 : Int) % 0