Depending on how your limits are specified, you might not need a new type at all:
0 <= .5 <= 10 # true 1 <= .5 <= 10 # false /Tomas
Depending on how your limits are specified, you might not need a new type at all:
0 <= .5 <= 10 # true 1 <= .5 <= 10 # false /Tomas