New example: calculate factorial of a given integer, as double

Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>