Factorials of large numbers