class function Fact(n: Cardinal): float;