This checks that the variable holds a suitable value before trying to use it. If the variable is not set to one of the types allowed by the spec, we check if it is a subtype of float (as implementation-specific behaviour is allowed) and if it is not then we signal an error.
This checks that the variable holds a suitable value before trying to use it. If the variable is not set to one of the types allowed by the spec, we check if it is a subtype of
float
(as implementation-specific behaviour is allowed) and if it is not then we signal an error.