printfn "%f" (1.0/0.0)