Manuals/calci/ENFORCEINTEGER

ENFORCEINTEGER(Number)

• $Number$ is any real number.

Description

• This function converts or enforces the given number or set of numbers to an 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, it is retained as positive only.

If the $Number$ is negative, it is retained as negative only.

• Number 'zero' is natural number, neither positive nor negative.
• The argument can also be a result of any function.

Examples

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

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

• ENFORCEINTEGER(-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	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

• ENFORCEPOSITIVE

• ENFORCENEGATIVE

• ENFORCEZERO

• INT

References

• Integer

• List of Main Z Functions

• Z3 home