> In other words, the parameter should not be a float, but a more constrained type that allows floats only in [0,1]
It's a value check, not a type check.