This line relies on the fact that `.get_real_value()` returns `None` when it can't return a real.