Standard library for [Imandra](https://imandra.ai)

Perform C-like multiplication of two unsigned 32-bit integers.

Compute the double word product of two unsigned 32-bit integers.

Compute the double word product of two signed 32-bit integers.

Perform C-like multiplication of two signed 32-bit integers.

Parse a string representation of a 128-bit complex number.

Return the real and imaginary components of a single-precision complex floating-point number.

Return the real and imaginary components of a complex number.

Revive a JSON-serialized 64-bit complex number.

Test whether two double-precision complex floating-point numbers are the same value.

Return the complex conjugate of a complex number.

Parse a string representation of a 64-bit complex number.

Test whether two single-precision complex floating-point numbers are not equal.

Return the complex conjugate of a single-precision complex floating-point number.

Test whether two single-precision complex floating-point numbers are the same value.

Test whether two single-precision complex floating-point numbers are the same value.

Test whether two double-precision complex floating-point numbers are the same value.