How to set type (precision) of operations inside a function?

[nelson2005]

This topic has come up more than once over the years. I don’t remember any great solutions beyond the suggestions to manage the types manually through casting.