Number extend [
factorial [
self < 0 ifTrue: [ self error: 'factorial is defined for natural numbers' ].
self isZero ifTrue: [ ^1 ].
^self * ((self - 1) factorial)
]
].