JDK-8373822 Consider ways to expand java.util.Formatter support to new numeric types

• 
• Open

JDK-8377332 Investigate reusable witness implementation class

• 
• Open

JDK-8376223 Add modeling interfaces for algebraic structures: groups, rings, and fields

• 
• Resolved

JDK-8338533 Prototype unsigned int as a library type

• 
• Resolved

JDK-8375237 Document existing exceptional behavior of divideUnsigned and remainderUnsigned

• 
• Resolved