Unable to find Coq library: `Error: Unable to locate library Floats.`

Question

This might be a dumb question, but when I try to import Coq.Floats.Floats, it doesn\'t work.

I\'ve tried

Require Import Floats.