18th IEEE Symposium on Computer Arithmetic (ARITH '07)