Also need to fix count == 0's return FnFailure() nine lines above, that's bypassing the json-case's destruction of min and max, hence leaking them.