"The characteristics of floating types are defined in terms of a" . . . .