3 ms·I’m aware of constructive math. You still have the type of natural numbers in that?by drdeca 5mo agoI’m aware of constructive math. You still have the type of natural numbers in that?