Assertion Packages

Test if a finite double-precision floating-point number is a safe integer.

Test whether an unsigned integer is a power of 2.

Test if two numbers are coprime.

Test if a finite numeric value is an even number.

Test if a double-precision floating-point numeric value is finite.

Test if a single-precision floating-point numeric value is finite.

Test if a double-precision floating-point numeric value is infinite.

Test if a single-precision floating-point numeric value is infinite.

Test if a finite double-precision floating-point number is an integer.

Test if a double-precision floating-point numeric value is NaN.

Test if a single-precision floating-point numeric value is NaN.

Test if a double-precision floating-point numeric value is a negative finite number.

Test if a finite double-precision floating-point number is a negative integer.

Test if a double-precision floating-point numeric value is negative zero.

Test if a single-precision floating-point numeric value is negative zero.

Test if a numeric value is a nonnegative finite number.

Test if a finite double-precision floating-point number is a nonnegative integer.

Test if a numeric value is a nonpositive finite number.

Test if a finite double-precision floating-point number is a nonpositive integer.

Test if a finite numeric value is an odd number.