Added factorial function fatt_int.