Yes, 2 < 3. (fix constant comparison doctest).