added a _Wolframe::types::BigNum (C2653, don't know why it fails on
Windows?!)