Looks like Hal was just rounding for convenience. It's a Fermi estimate, so he's only looking for orders of magnitude.