The POSIX HUGE_VAL would be closer to the mathamatical concept. It would never be mistaken for "unassigned". Attempts to use it in an expression would always throw an exception. A huge negative would be even better, but we do not seem to have that option.