[math-fun] When FindIntegerNullVector is too fussy