12#include "dlinear/libs/libgmp.h"
Global namespace for the dlinear library.
int ConvertInt64ToInt(const std::int64_t v)
Convert v of int64_t to int.
double ConvertInt64ToDouble(const std::int64_t v)
Convert v of int64_t to double.
bool IsInteger(const double v)
Returns true if v is represented by int.
mpq_class ConvertInt64ToRational(std::int64_t v)
Convert v of int64_t to rational.