Proceedings of the 13th IEEE International Symposium on Computer Arithmetic