@steve @fay59 society if CPUs and the C programming language defined signed division to round towards -∞