Infinity package:sbv

Infinity for Double and Float. Surprisingly, Haskell Prelude doesn't have this value defined, so we provide it here.
Symbolic variant of infinity. This value will inhabit both SFloat, SDouble and SFloatingPoint. types.