That assert is too aggressive in 32-bit. There's a very small numeric drift 1e-19, which we can safely ignore