def I64.div
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1486def I64.div(a: I64, b: I64) -> I64:
1487 match a b:
1488 case I64{x} I64{y}:
1489 I64{Int.div(64n, True{}, x, y)}
import bend-kit-int@0.2.0.0/int.bend as Intimport Base
1486def I64.div(a: I64, b: I64) -> I64:
1487 match a b:
1488 case I64{x} I64{y}:
1489 I64{Int.div(64n, True{}, x, y)}