"Primitives as Objects" (PAO) extension. Primitive types (e.g., int, float) may be used as subtypes of Object. Boxing and unboxing code is inserted at appropriate places.