javadoc for JAInteger