You are currently looking at the documentation of an outdated version of Sollya. To see the current version of the documentation, go here.
Name:
nearestintthe function mapping the reals to the integers nearest to them.
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.