Runtime: native integers can now be unmarshalled