Fix acl2(r) incompatibility after arithmetic-2 redux
Fix acl2(non-h) incompatibility with vl server