#define DOCSTRING "\n\
rat2float takes a polytope file with rational or integer coefficents,\n\
and outputs an approximately equivelent one with floating point\n\
coefficents.\n\
\n\
WARNING: Assumes that numerator and denominator will fit  in long integer,\n\
unless compiled with multiprecision support.\n\
"