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

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