samth2020-8-16 11:52:53Can you report a bug? samth2020-8-16 11:53:15There is already a rational type, though noahstorym2020-8-16 12:02:49Thanks! I have reported it https://github.com/racket/typed-racket/issues/960