[c] How do I get DOUBLE_MAX?