Return values of Probabilistic Programs
The function $f$ is a probability sub-distribution, which means that it's a like a probability distribution, only its integral can be less than $1$ (due to the observe statements). The return statement normalizes $f$ back to a bona fide probability distribution.

Outside of quantum computing, probabilities are non-negative.