inf := 1/0