File psl-1983/lap/big.lap artifact 653e638d63 part of check-in d9e362f11e

(load arith vector-fix bigbig bigface)