There was a kitty with 25519125 hairs!