numlib: add modularExponentiation