Is there a floating-point division function/operator? - Mailing list pgsql-general

In Postgresql the "/" operator does integer division. Is there an
operator or function that will do floating-point division?

I looked through the iDocs but there was no mention of such a function.

Thanks,

Jc