## Name:

nearestint
the function mapping the reals to the integers nearest to them.

## Library names:

sollya_obj_t sollya_lib_nearestint(sollya_obj_t)
sollya_obj_t sollya_lib_build_function_nearestint(sollya_obj_t)
#define SOLLYA_NEARESTINT(x) sollya_lib_build_function_nearestint(x)
## Description:

- 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