add nonnegative shortcut in addition to gte(0.0)