--> ?equal(-2.1e120,-2.1e120+PI) -- true!!