Proceedings of the 12th IEEE Symposium on Computer Arithmetic