Is the output guaranteed to be in the ``[0, 1]`` range?