12th IEEE Symposium on Computer Arithmetic