shootervm: more correct operator numerics