Right, so there's no way to do this: > In other words, the parameter should not be a float, but a more constrained type that allows floats only in [0,1] It's

Right, so there's no way to do this: > 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.