let
is_nonneg_num a =
try
let
q = d_num a
in
Mpa
.
Q
.is_nonneg q
with
Not_found
->
false