20th IEEE Symposium on Computer Arithmetic