Top-level package for packages containing standard Wyjec functions operating on values of integer type.