Added partial support for num() predefined operator (but Ada backend
cannot fully support it)