[[ Faster ]] Enabled tagged integers and fixed termination crash.