objspace.std.prebuiltintto

• name: prebuiltintto
• description: highest integer which is prebuilt
• command-line: –prebuiltintto
• option type: integer option
• default: 100

See –objspace-std-withprebuiltint.