floats-consed
floats-consed
is a variable defined in `
C source code
'. Its value is
7509
Documentation:
Number of floats that have been consed so far.