I’m ok with that, but what I mean is that it makes no sense to change the type of the provided variable if in mathematics the type can be the same.