let
abs q =
if
is_neg q
then
mult negone q
else
q