Move infinity constants to module

* This allows to only include infinity constants into other
  modules/classes (e.g. the one defining options)