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