see :config:`objspace.std.withprebuiltint`.
