natToFinLt optimized away
