ugly detailed number type

gistfile1.txt

Typed Racket Tests > Unit Tests > Typechecker tests > tc-expr tests > 597 (let: ((v : Any 5)) (if (number? v) (+ v 1) 3))
597 (let: ((v : Any 5)) (if (number? v) (+ v 1) 3))
FAILURE
location:   <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:597:8
actual:     (tc-results
 (list
  (tc-result
   (U
    Zero
    One
    Byte-Larger-Than-One
    Positive-Index-Not-Byte
    Positive-Fixnum-Not-Index
    Negative-Fixnum
    Positive-Integer-Not-Fixnum
    Negative-Integer-Not-Fixnum
    Positive-Rational-Not-Integer
    Negative-Rational-Not-Integer
    Flonum-Nan
    Flonum-Positive-Zero
    Flonum-Negative-Zero
    Positive-Float-No-NaN
    Negative-Float-No-NaN
    Single-Flonum-Nan
    Single-Flonum-Positive-Zero
    Single-Flonum-Negative-Zero
    Positive-Single-Flonum-No-Nan
    Negative-Single-Flonum-No-Nan
    Exact-Imaginary
    Exact-Complex
    Float-Imaginary
    Single-Flonum-Imaginary
    Float-Complex
    Single-Flonum-Complex
    (Refine (z.487 : Positive-Byte) ((= z.487 3))))
   (Top | Top)
   -))
 #f)
expected:   (tc-results (list (tc-result Number (Top | Top) -)) #f)
tc-expr did not return the expected value. It returned a more precise value. The types don't match.