let
is_nonpos_num a =
try
let
q = d_num a
in
Mpa
.
Q
.is_nonpos q
with
Not_found
->
false