Unbounded, exact and trustworthy integers for JavaScript