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.