Proceedings of the 12th Symposium on Computer Arithmetic