[Home](./index.md) > [@contract-case/case-definition-dsl](./case-definition-dsl.md) > [matchers](./case-definition-dsl.matchers.md) > [primitives](./case-definition-dsl.matchers.primitives.md) > [AnyInteger](./case-definition-dsl.matchers.primitives.anyinteger.md) > [(constructor)](./case-definition-dsl.matchers.primitives.anyinteger._constructor_.md) ## matchers.primitives.AnyInteger.(constructor) Matches any whole integer number. **Signature:** ```typescript constructor(example: number); ``` ## Parameters

Parameter	Type	Description
example	number	Any floating point number, not infinity, not NaN.