objspace.std.prebuiltintto

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

See –objspace-std-withprebuiltint.