The inexact module provides inexact rational numbers, typically bounded in both magnitude and precision; if it is present in an implementation (whether imported or not), arithmetic procedures support inexact rationals. It also exports the 10 identifiers exp, log, sin, cos, tan, asin, acos, atan, sqrt from IEEE Scheme.
WG1 voted to accept this module.
These procedures are optional (though not explicitly so) in R5RS.