That is, spilled values are cast to the standard double precision format with only an 11-bit exponent.

• 也就是说,倒入内存的值被转换为标准的双精度格式,只具有11位指数。