// @target: ES5 1e+0