While we're at it: Can there be a Fractional type permitting only
positive numbers, as the positive real numbers are closed under
division?