Proceedings 13th IEEE Sympsoium on Computer Arithmetic