Wouldn't it be more like at least 87! ?? Seems that 87! is around 2.1e132, according to the Giant Brain.