Divides `x / y` assuming `x, y >= 0`, treating `0 / 0 = 0`.
(x, y)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected