// $Id: extended.js 24593 2008-08-31 10:47:51Z vinc17/vin $

var x, y, z, d, t, q;
x = 9007199254740994; // 2^53 + 2
y = 1 - 1/65536;
z = x + y;
d = z - x;
t = document.createTextNode(d);
q = document.getElementById("js-result");
q.appendChild(t);