let
dInfinity = dGetInfinity ()