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

(load arith vector-fix bigbig bigface)