`maxint` cmd line arg and interactive command

maxint overrides bitwidth