Convert ptr to UInt instead of Int in missing C macros

[rtjoa]

Converting a Ptr to Int errors if the top bit is 1.

Without this change, I ran into errors like the following when calling Cudd_Regular, Cudd_IsComplement, and Cudd_Not:

InexactError: check_top_bit(Int64, 18446744073709547520)

[mykelk]

Thanks! I'm happy to merge this if you think it's good to go!

[mykelk]

@MaximeBouton do you know why this is failing on Julia 1.8 on Windows? Might the binary need to be rebuilt?

[MaximeBouton]

Hi! I am not sure why it breaks because I think we had fixed it in an earlier PR #22

It could very well be that we need to rebuild the binaries in Yggdrasil, I won't be able to look at it before next week-end though.

[MaximeBouton]

I tested it with julia 1.9.3 on windows, and I get an OOM error but that do not happen all the time. I am getting those warnings too (also getting them with CUDD master)

CUDD: unable to allocate 44828721156 bytes
Unable to set aside memory

CUDD: unable to allocate 44828721156 bytes
Unable to set aside memory

CUDD: unable to allocate 44828721156 bytes
Unable to set aside memory