New STInteger.