For a certain set of inputs, yes. Good luck guessing what that comprises that set even if 1) there’s documentation and 2) you read it.

Worse, for all we know, double actually adds a thing to itself, which might accidentally or deliberately act on strings. Dividing by two has no such magic.