Summing digits of a factorial