Change the CONFIG_ECMA_NUMBER_TYPE default value to CONFIG_ECMA_NUMBE…#1229

Merged

zherczeg merged 1 commit intojerryscript-project:masterfrom

robertsipka:ecma_number_type_value

Jul 29, 2016

Commits on Jul 29, 2016

Change the CONFIG_ECMA_NUMBER_TYPE default value to FLOAT64 to ensure compliance with ECMAScript 5.1
robertsipka
committed