There are 264 - 253 - 1 = 18437736874454810623 different finite numbers, which can be represented exactly in the 64-bit floating point format. Its prime factorization is 230999 × 79817388276377. Large numbers in 127 · 256 · 32767 · 65536 · 2147483647 · 4294967296 · 9007199254740991 · 9223372036854775807 · 22! · FRACTRAN catalogue numbersBignum Bakeoff contestants: pete-3.c · pete-9.c · pete-8.c · harper.c · ioannis.c · chan-2.c · chan-3.c · pete-4.c · chan.c · pete-5.c · pete-6.c · pete-7.c · marxen.c · loader.cChannel systems: lossy channel system · priority channel systemUncomputable functions: Busy beaver function · Frantic frog function · Doodle function · Betti number · Xi function · ITTM busy beaver · Rayo's number · BIG FOOT