Number-Theory Utilities for Java