pub const FLOAT_PRELUDE: &[&str];Expand description
The Require lines of a file that uses Numbers. Number literals are
written as in the source; Rocq reads each one as the nearest float, as
JavaScript does, and would otherwise warn that it rounds.