This PR fixes the last stuff that was left in in #534. Basically this PR replaces and removes the last CheckedFloat and CheckedInt32 kinds (as well a few others kinds that where leftovers and never described formally).
I thought I had fixed these things but it turned out that I had some +1 year old commits in this branch that I never opened a PR for.
cc @SunSerega
This is a fixed version of #621 with cleaner git history.
This PR fixes the last stuff that was left in in #534. Basically this PR replaces and removes the last
CheckedFloatandCheckedInt32kinds (as well a few others kinds that where leftovers and never described formally).I thought I had fixed these things but it turned out that I had some +1 year old commits in this branch that I never opened a PR for.
cc @SunSerega
This is a fixed version of #621 with cleaner git history.