Big integers can be converted in vlog95 if -pallowsigned=1 is used