User blog:Username5243/Some factorial extensions