Pyrex integers mod n Block Gaussian elimination