Symposium on (ARITH) Computer Arithmetic