2 ms·Nice. So is the js/lean interface using exact rationals?by olaird25 5mo agoNice. So is the js/lean interface using exact rationals?permute 5mo agoYes