If we're supposed to go sentinel free does that mean no more numerical types? If we can explicitly define what null means in either code or documentation, we can do the same thing to sentinel values.

None of the things proposed in this thought experiment are fresh ideas to an old problem.

> If we're supposed to go sentinel free does that mean no more numerical types?

sorry what do you mean by "numerical types" here?