factorial [ dup 0 <= [ 1 + ] [ dup 1 - factorial * ] if ] func PI 3.1415926 func