<div dir="auto">You're looking for Ratio Natural.<br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">On Wed, Mar 3, 2021, 09:20 Olaf Klinke <<a href="mailto:olf@aatal-apotheke.de">olf@aatal-apotheke.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">While we're at it: Can there be a Fractional type permitting only<br>
positive numbers, as the positive real numbers are closed under<br>
division?<br></blockquote></div></div>