CHANGED: extended to use the full possible 53 bit long integers