the function mapping the reals to the integers nearest to them.
#define SOLLYA_NEARESTINT(x) sollya_lib_build_function_nearestint(x)
- nearestint is defined as usual: nearestint(x) is the integer nearest to x, with the
special rule that the even integer is chosen if there exist two integers equally near to x.
- It is defined for every real number x.
Go back to the list of commands