Documented Ops.get, Ops.get_foo, Convert.to_foo

That is a nice corner case. Given how difficult it would be to describe it, and its practical uselessness, I am actually considering to declare it a bug and use ::Integer in the *code*.