Add that a and b should be nonzero in 8.16

[dcernst]

Of course, 0x=0 has multiple solutions...

[dcernst]

Or at least a nonzero.