You will stop running in coercion issues, provided you've typed it all out and don't use the any type. Which to me is the bulk of the craziness. There still is

You will stop running in coercion issues, provided you've typed it all out and don't use the any type. Which to me is the bulk of the craziness. There still isn't a Float type and you can still recreate all the memeable NaN NaN Batman code that never is an issue in the first place.