FWIW, I would have guessed that `typeof(return)` is `float` here – not sure if this enhancement is worth the potential confusion.