tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow");