is_absolute_value.abv_nonneg source