javacardx.framework.util.intx (Java Card API and Subsets)