(1) Do a web search on "round-to-even.' For example, http://en.wikipedia.org/wiki/Rounding_functions. (2) I that think floor((ceiling(x)-floor(x))/2) = 0 is an identity, but Maxima doesn't simplify floor((ceiling(x)-floor(x))/2) to zero, for example. Barton