Rounds and renders huge rational numbers to human-readable decimals.
Coq will tend to give big rational numbers (Q) as numerator and denominator. These can be hundreds of digits long and aren't suitable for inclusion in papers or for most data analysis. Roundalize will turn those from a file that looks like this:
hello:61211:11345
world:33476:47196
Which are of the format label:numerator:denominator into this:
hello=5.3954
world=0.70929
This will work for arbitrarily large numbers.
To use the utility, specify the input file path and precision (after the decimal point) as an integer. Results will be printed to stanard output, but are easy enough to redirect to a file using > as in the example below. If no precision is specified it will default to 6.
Roundalize <file> [precision] > rounded.txt
Fabulous public domain Gist with the BigDecimal class by Jan Christoph Bernack.