@import other_constants; #include <float.h>