Manuals/calci/ENFORCENEGATIVEINTEGER

ENFORCENEGATIVEINTEGER(Number)

• $Number$ is any real number.

Description

• This function converts or enforces the given number or set of numbers to a 'negative integer value'.
• Integer is the number without any decimal or fractional part but it can be the natural number with positive or negative sign.
• If the $Number$ is positive decimal number, it is converted to negative number and rounded off to nearest integer.
• If the $Number$ is negative decimal number, it is retained as negative number and rounded off to nearest integer.
• Number 'zero' is natural number, neither positive nor negative.
• The argument can also be a result of any function.

Examples

1. ENFORCENEGATIVEINTEGER(104) = 104
2. ENFORCENEGATIVEINTEGER(-2.45) = -2
3. ENFORCENEGATIVEINTEGER(4/7) = 0
4. ENFORCENEGATIVEINTEGER(-20/6) = -3
5. ENFORCENEGATIVEINTEGER(SUM([5,30])) = -35

For a set of numbers, the function displays a table as follows -

• ENFORCENEGATIVEINTEGER(-5.5..5.5)=

Nature	Number	ENFORCETYPE
positive	-5.5	-5
positive	-4.5	-4
positive	-3.5	-3
positive	-2.5	-2
positive	-1.5	-1
positive	-0.5	0
positive	0.5	0
positive	1.5	-1
positive	2.5	-2
positive	3.5	-3
positive	4.5	-4
positive	5.5	-5

Related Videos

INT Function

See Also

• ENFORCENEGATIVE

• ENFORCEINTEGER

• ENFORCEZERO

• INT

References

• Integer
• Negative Integer

• List of Main Z Functions

• Z3 home