6.13.18 Exactness of values

Core Type: <exact>

Type of exact numeric values. Its definition is equivalent to:

(define-type <exact>
  (or <exact-rational> <exact-compnum>))

Core Type: <inexact>

Type of inexact numeric values. Its definition is equivalent to:

(define-type <inexact>
  (or <flonum> <cflonum> <inexact-compnum>))