The runtime type checker. Slang stuffs everything into a single word of 64 bits. If the 64 when interpreted as an IEEE 754 double precision number is not nan, or a websssembly canonical quiet nan (returned nans have non deterministic signs in wasm btw) is a number.