Hinf synthesis seems to be working, but it's tricky numerically.