Ontify
Functions of a real returning respectively the largest smaller and the smallest larger integer.