Yup, the spec requires computation to be as doubles and so any computation must be done that way as the end result is observable. I didn’t know about fround bu

Yup, the spec requires computation to be as doubles and so any computation must be done that way as the end result is observable. I didn’t know about fround but I suspect its primary use case is for trying to catch floating point overflow during double arithmetic, because again precision difference is observable.