Yesterday, nobody contributed anything. :-( The official answer is: -(floor(-x) * 1 / x / (2 * x) ^ 1).