Minecraft wiki entry for 0x10c, associated text: The number of stars will be large enough to feel large, but small enough so that players could map them all if they wanted to. – Reddit, u/xNotch, October 21, 2012