From what I see that output looks correct. I believe what is happening is this is integer modulos therefor 1 / Y:int = 0 with R1.
[Edit]
# Fails if `Y=0`.
Mod<native><public>(X:int, Y:int)<computes><decides>:int
From what I see that output looks correct. I believe what is happening is this is integer modulos therefor 1 / Y:int = 0 with R1.
[Edit]
# Fails if `Y=0`.
Mod<native><public>(X:int, Y:int)<computes><decides>:int