Copyright for isinf.3:
Copyright 2002 Walter Harms (walter.harms@informatik.uni-oldenburg.de)
License for isinf.3:
Distributed under GPL