Property:True for prime power at most

Has type::Number