Nicer modexp