Щас бы типы в рантайме трансформировать при сравнении (да, да, я на питоне пишу)
Ну если совсем на примерах, то алфавит языка (операции/метода/етц) может и быть числом и не быть, словарь может оба варианта. Ну тут мне дальше сложно сказать... Но интуитивно я представляю, что -nan это что-то вроде вразы "это еще не число, но скоро (сейчас) им станет"