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