modExp etc