Defined in File cwrapper.cpp
basic_const_infinity
Use these functions to get the use of positive, negative or unsigned infinity as basic.