Projection is now entirely lossless, using the GMP rational format
internally to represent internal matrices.