[math-fun] Fracfac expansions (fractions in factorial base)