≡
31/31 < First << 31