#lang repltest typed/racket
(define x 0)
> x
- : Integer [more precisely: Zero]
0