Assertion: factorial function | /r/CapableOf | use fixed-size types
Facets:
Source sentences:
text: To assure that the exact result will fit for all legal values of even the smallest commonly used integral type (8-bit signed integers) would require more than 700 bits, so no reasonable specification of a factorial function using fixed-size types can avoid questions of overflow.