"Safe and Unsafe Mode", 1st para:

"In unsafe mode, these operations must provide no such checking."

Is the intent "need not provide such checking"?
Or "should not provide such checking"?
Or do you really mean to *prohibit* checking in unsafe mode?
(You say an implementation is not required to provide unsafe mode,
but some implementations may do partial checking.)

"Flonums", 5th para

"If an argument to the following procedures that corresponds to a
(integral) flonum metavariable is not actually a (integral) flonum"

What is the "(integral)" doing?

Other operations

Could an implementation, in unsafe mode, require that an index (say to
vector-ref or the result of string-length) be a fixnum?
--
	--Per Bothner
xxxxxx@bothner.com   http://per.bothner.com/