Answer my question. I'm not going to defend a non-existent problem. Or is this about Pascal again? Did ocaml bite you and you still have a mark? I'm trying to

Answer my question. I'm not going to defend a non-existent problem. Or is this about Pascal again? Did ocaml bite you and you still have a mark? I'm trying to give you an opportunity to suggest this isn't a straw man. My most charitable hypothesis is that you really don't know much about modern static and strong typing techniques. Everyone's numeric tower accounts for this and does sensible (if not optimal) type conversions. The best of the bunch give you fine grained control on what happens when. That something must happen is inescapable.