Constant TWO53 

const TWO53: f64 = 9007199254740992.0;