Add the Householder algorithm, which is generally considered superior to Gram-Schmidt, especially for ill-conditioned matrices. I'm not sure if there is a big difference in arbitrary-precision ...