Is there a floating-point division function/operator?

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