yes this is a typo and also everywhere else where I wrote `Number.is_real`. Unfortunately it passed the test, I guess I need to write stronger test cases.