IEEE 754-1985 section 7.4(Underflow) says
After rounding - when a nonzero result computed as though the exponent range were unbounded would lie strictly between K(which is some value).
The following is my interpretation.
when a nonzero result computed as thought the exponent range unbounded is adverb clause.
would lie is verb phrase.
strictly between K is prepositional phrase.
So, when removing adverb clause and prepositional phrase, only verb remains there is no subject. Therefore my thought is wrong. What structure is used and what does it mean?