Yep, we also have the old joke, “Two plus two equals five for large values of two.”
cppreference has a section on it here under “Floating–integral conversions”. Interestingly, the code mixes the double and floating point types in some places. The only difference between the two types as far as C++ is concerned is memory related so we may be able to simply combine most of those instances and reduce them to a single type.
