let
ppcm u v =
if
u = zero
||
v = zero
then
zero
else
native_div (mul u v) (pgcd u v)