If JerrScript is compiled for x86 then it is possible that the
floating-point operations are not correct for the JS standard.
To "fix" this the users should be advised to use at least SSE2
during build for this platform.
JerryScript-DCO-1.0-Signed-off-by: Dániel Vince vinced@inf.u-szeged.hu