[math-fun] How big is a Gibibyte?