cpp/header/cfloat

This header is part of the type support library, in particular it's part of the C numeric limits interface.