(define-type real (or integer float ratnum))
(define-type fpvector f64vector)
(define-type index fixnum)
(define-type exact-rational (or ratnum integer))