introduce F.hat.y.inv to generally handle F.hat(y) == 0