let is_nonpos x = le x zero