The general idea should be fine. The problem gets in that I have to make a choice up front in many static languages. Something I don't have to do if I give up

The general idea should be fine. The problem gets in that I have to make a choice up front in many static languages. Something I don't have to do if I give up what exact type of number I am using at the moment.