GitHub repository: machaudhari/Real
Description: Boost numerical data type for real numbers representation using range arithmetic.