@AtariDreams
AtariDreams Use cfloat instead of float.h
dbb1ae7 Dec 9, 2022
Use cfloat instead of float.h 
It would be more consistent to use the C++ headers instead of the C ones.
dbb1ae7