Function non-negative-double-float-p

non-negative-double-float-p (n)

non-negative-double-float-p returns true if n is a double-float number greater than zero or zero; otherwise, returns false.