Add inverse totient example
PP is_power(n,a) has to deal with 0 return unlike the split XS code
Better is_power
Merge with master