fix a bug in the specification for types of quotient &/ remainder (#1049)

The bug was brought to you by
http://drdr.racket-lang.org/56628/racket/share/pkgs/typed-racket-test/tr-random-testing.rkt

Author: capfredf

typed-racket-lib/typed-racket/base-env/base-env-numeric.rkt

@@ -694,7 +694,7 @@
   (define-values (quotient-spec remainder-spec quotient/remainder-spec)
     (quotient-reminder-cases
      (list -Zero -Int (list -Zero -Zero))
-     (list -One -One (list -Zero -One))
+     (list -One -One (list -One -Zero))
      ;; division by one is identity, and has no remainder
      (list -PosByte -One (list -PosByte -Zero))
      (list -Byte -One (list -Byte -Zero))

typed-racket-test/unit-tests/typecheck-tests.rkt

@@ -1136,6 +1136,10 @@
                 (+ a b a* b*))
               -Nat]
 
+        [tc-e (sinh (let-values (((x y) (quotient/remainder (exact-round 1) (sqr (exact-round 1)))))
+                      y))
+              -Zero]
+
         [tc-e (raise-type-error 'foo "bar" 5) (t:Un)]
         [tc-e (raise-type-error 'foo "bar" 7 (list 5)) (t:Un)]