Triposes, exact completions, and Hilbert's ε-operator