Bignums: Added API for pushing bignums directly. This simplifies code needing to handle bignums from external sources (eg hogweed).